System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
581	Build Awesome Command-Line Applications in Ruby 2 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-11-14 11:17:39 Scripting languages Online help Technical communication Ruby programming language Web application frameworks RubyGems Ruby Command-line interface Man page Software Computing System software
582	C. Engelbart, and William K. English, AFIPS Conference Proceedings of the 1968 Fall Joint Computer Conference, San Francisco, CA, December 1968, Vol. 33, pp[removed]A research center for augmenting human intellect by D Add to Reading List Source URL: history-computer.com Language: English - Date: 2013-11-26 15:18:55 Procedural programming languages Array programming languages ALGOL 68 Conditional APL Mouse C Fortran Unisys OS 2200 operating system Computing Software engineering Programming language theory
583	Types For Modules Claudio V. Russo Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-04-02 04:22:02 Procedural programming languages Functional languages Type theory Lambda calculus Quantification Standard ML Type system Programming language ML Programming language theory Software engineering Computing
584	System V Application Binary Interface Intel386 Architecture Processor Supplement Version 1.0 Edited by H.J. Lu , David L Kreitzer2 , Milind Girkar3 , Zia Ansari4 1 Add to Reading List Source URL: uclibc.org Language: English Data types X86 architecture C programming language Computer arithmetic C++ Application binary interface X86-64 Long double 64-bit Computing Computer architecture Computer programming
585	Scalable Certiﬁcation for Typed Assembly Language Dan Grossman and Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-03-05 11:41:46 Programming language implementation Type theory Procedural programming languages Compiler construction Functional languages Compiler Type inference Type system Type safety Software engineering Computing Programming language theory
586	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
587	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory
588	A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007 Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:03 Type theory Higher-order abstract syntax Prolog Twelf De Bruijn index Eval Type system Free variables and bound variables Lambda calculus Software engineering Computing Programming language theory
589	Project Jigsaw: Module Class Loading and Bootstrapping Jigsaw Team May 4, 2012 Add to Reading List Source URL: openjdk.java.net Language: English - Date: 2015-03-30 14:37:20 Java programming language Booting Java Classloader Java platform Agricultural machinery Engineering vehicles Loadable kernel module Loader Library Computing Software System software
590	DRAFT Type Families and Elaboration Alejandro Serrano Jurriaan Hage Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Computing Programming language theory Type class Generic programming Glasgow Haskell Compiler Type system Kind Type safety Haskell Type theory Software engineering Data types

UPDATE